√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

programming logic proof中文什么意思

發(fā)音:
  • 程序設(shè)計(jì)邏輯證明
  • logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
  • proof:    n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面 ...
  • logic of programming:    程序設(shè)計(jì)邏輯
  • logic programming:    邏輯編程; 邏輯程式設(shè)計(jì) [邏輯程序設(shè)計(jì); 邏輯程序設(shè)計(jì)
  • programming in logic:    prolog語言; 邏輯編程; 邏輯程序設(shè)計(jì)語言
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

相關(guān)詞匯

        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
        proof:    n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面 ...
        logic of programming:    程序設(shè)計(jì)邏輯
        logic programming:    邏輯編程; 邏輯程式設(shè)計(jì) [邏輯程序設(shè)計(jì); 邏輯程序設(shè)計(jì)
        programming in logic:    prolog語言; 邏輯編程; 邏輯程序設(shè)計(jì)語言
        programming logic:    程序邏輯; 程序設(shè)計(jì)邏輯
        programming correctness proof:    程序正確性證明
        constraint logic programming:    邏輯程序設(shè)計(jì)
        distributed logic programming，dlp:    分散式邏輯程式設(shè)計(jì)
        inductive logic programming:    歸納邏輯程序設(shè)計(jì)
        logic programming and expert systems:    邏輯程序設(shè)計(jì)與專家系統(tǒng)
        logic programming language:    邏輯編程語言; 邏輯程序設(shè)計(jì)語言
        logic programming machine:    邏輯程序設(shè)計(jì)機(jī)
        parallel programming in logic:    parlog語言; 并行邏輯程序設(shè)計(jì)語言
        programming logic basis:    程序邏輯基礎(chǔ)
        programming logic chart:    程序設(shè)計(jì)邏輯流程圖
        programming logic manual:    程序設(shè)計(jì)邏輯手冊
        programming logic specification:    程序設(shè)計(jì)邏輯規(guī)范書
        multiprogramming logic proof:    多道程序設(shè)計(jì)邏輯證明
        programming:    編程序的; 編程序規(guī)劃計(jì)劃; 程式設(shè)計(jì)，計(jì)畫擬編; 程式撰寫; 程序編寫; 程序化; 程序控制的; 程序設(shè)計(jì),程序編制; 程序設(shè)計(jì)，編制程序; 規(guī)劃；程序設(shè)計(jì)，程序編制; 規(guī)劃；設(shè)計(jì)方案，編制程序；程序設(shè)計(jì); 和諧編制; 計(jì)算機(jī)程序設(shè)計(jì); 節(jié)目制作; 施工時(shí)間安排；工程程序；工程進(jìn)度; 數(shù)控編程實(shí)習(xí)室; 用語; 張曉欣 上海交通大學(xué) 城市規(guī)劃 本科
        -proof:    后綴 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防塵的。 Fire-proof 防火的。 Radar-proof 反雷達(dá)的。 Slander-proof 聽了壞話不會(huì)生氣的。 Sound-proof 隔音的。 Water-proof 防水的。
        a proof:    防原子的
        a-proof:    防原子的
        in proof of:    作...的證據(jù)
        proof:    n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面)證詞，證言。 2.檢驗(yàn)，考驗(yàn)；驗(yàn)算；檢定的品質(zhì)[強(qiáng)度等]。 3.試管。 4.【印刷】校樣，印樣。 5.(酒精的)標(biāo)準(zhǔn)強(qiáng)度。 6.(甲胄等的)耐力，堅(jiān)牢強(qiáng)度，不貫穿性。 7.【攝影】樣片；樣張。 8.[Scot.] 審問。 9.【數(shù)學(xué)】證，證明，證法。 The proof of the pudding is in the eating. 布丁好壞一吃即知；空談不如實(shí)驗(yàn)。 Here is proof positive. 有確實(shí)證據(jù)。 a foul proof 錯(cuò)字很多的校樣。 a foundry proof (壓型前的)清樣。 an artist's [engraver's] proof 版面印樣。 stand a severe proof 經(jīng)受嚴(yán)格的考驗(yàn)。 afford proof of 提供證據(jù)。 armour of proof 戳不通的堅(jiān)牢的鎧甲。 below proof 不合格。 bring [put] to the proof 試，試驗(yàn)。 have proof of shot 能防彈，能避彈。 in proof of 作…的證據(jù)。 proof positive of his intention 他的企圖的確證。 read the proof 校對。 adj. 1.試驗(yàn)過的，有保證的；(酒)合標(biāo)準(zhǔn)的，規(guī)定的。 2.校樣的。 3.(子彈等)不入的，耐…的，防…的。 a proof coin 標(biāo)準(zhǔn)貨幣，制錢。 a proof sample 樣品。 proof against the severest weather 經(jīng)得起任何酷烈天氣的。 proof against the pricks of all temptations 不為任何誘惑所動(dòng)的。 vt. 使經(jīng)得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 無證據(jù)的。

相鄰詞匯

  1. programming linguistics 什么意思
  2. programming logic 什么意思
  3. programming logic basis 什么意思
  4. programming logic chart 什么意思
  5. programming logic manual 什么意思
  6. programming logic specification 什么意思
  7. programming machine 什么意思
  8. programming manager 什么意思
  9. programming manual 什么意思
  10. programming menu 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.